Daftar koleksi buku oleh: Hardjomarsono, Boediman